TSTP Solution File: DAT229^1 by Mace4---1109a